#include <stdint.h>

int32_t main (int32_t argc, char** argv){
	puts("hello, world!\n");
	return 42;
}
